<html>
<body>
Provides some interfaces to be used by javascript.
</body>
</html>
